Travail et psychologie : Vygotski avec Spinoza

Éditorial: Informatique et psychologie

et fort courant avec commande numérique

CHR modulaire avec ask et tell

Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CH...

Spinoza Today: The Current State of Spinoza Scholarship

Sous-graphes avec contraintes sur le degré : difficulté et approximation